Medvedev Logic
Kripkeフレーム
から定義される
中間論理
絶対に
有限公理化不可能
であることが知られている.
L. Maksimova, V. Shehtman, D. Skvorcov; "The impossibility of a finite axiomatization of Medvedev's logic of finitary problems"
この論理の
Modal Companion
もできない
V. Shehtman; "Modal Coutnerparts of Medvedev Logic of Finite Problems Are Not Finitely Axiomatizable"
参考文献
H. Xiao; "Medvedev’s logic LM is not finitely axiomatizable"
強制様相論理
で研究されている
$ \mathsf{S4tBA}
が
$ \sigma(\mathsf{LM})
:
$ \sigma
は最大の
Modal Companion
を与える:であり,
有限公理化可能性
は
$ \sigma
で保存されることから,この様相論理もそうであることが発表されている
様相論理S4tBA